Search Results
ConCert: A Smart Contract Certification Framework in Coq.
ConCert: A Smart Contract Certification Framework in Coq
Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in Coq
CPP'2021 - Short presentation: Extracting Smart Contracts Tested and Verified in Coq
CPP'2021 - Extracting Smart Contracts Tested and Verified in Coq
[CoqPL'24] Specifying Smart Contract with Hax and ConCert
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
[CPP'23] Formalising Decentralised Exchanges in Coq
Nomadic Labs Research Seminars #2 | Verifying Tezos Smart Contracts in the Mi-Cho-Coq Framework
Session with the Coq Development Team
ML 2021 - Code Extraction from Coq to ML-like languages
CPP 2021 Lightning Talks: Monday, Jan 18, 8pm
![[CoqPL'24] Specifying Smart Contract with Hax and ConCert](https://img.youtube.com/vi/ebQAtfXYHFI/hqdefault.jpg)
![[CPP'23] Formalising Decentralised Exchanges in Coq](https://img.youtube.com/vi/3POvlkMjHnI/hqdefault.jpg)
